1. Constraint-Programmierung :
پدیدآورنده : Thom Frühwirth, Slim Abdennadher.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Constraint programming (Computer science),Constraint-logische Programmierung.,Constraint-Programmierung.
2. Effektiv Programmieren in C und C++ :
پدیدآورنده : von Dietmar Herrmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
3. Effektiv Programmieren in C und C++ :
پدیدآورنده : von Dietmar Herrmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
76
.
C65
V663
2001
4. Effektiv Programmieren in C und C++ :
پدیدآورنده : von Dietmar Herrmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
5. Effektiv Programmieren in C und C++ :
پدیدآورنده : von Dietmar Herrmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.
رده :
QA76
.
76
.
C65
V663
1999
6. Expertensysteme :
پدیدآورنده : von Peter Schnupp, Ute Leibrandt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
QA76
.
76
.
E95
V667
1988
7. Grundkurs Verteilte Systeme Grundlagen und Praxis des Client-Server und Distributed Computing
پدیدآورنده : Günther Bengel
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer network architectures.,Computer science,Computer science.
8. Kurs in Logischer Programmierung
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer science.,Logische Programmierung
9. Logic for computer scientists /
پدیدآورنده : Uwe Schöning.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Logic, Symbolic and mathematical.,logique.,programmation en logique.,Logique symbolique et mathématique.,Programmation logique.,31.80 applications of mathematics.,Datenverarbeitung,Informatik,Logic programming.,Logic programming.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Logique symbolique et mathématique.,Logische Programmierung,Programmation logique.
رده :
QA9
.
S363
1989
10. Logische und methodische Grundlagen der Programm- und Systementwicklung :
پدیدآورنده : Manfred Broy ; unter Mitarbeit von Alexander Malkis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraische Spezifikation,Algorithmische Programmierung,Beweis,Datenstruktur,Funktionale Programmierung,Korrektheit,Objektorientierte Programmierung,Softwareentwicklung,Softwarespezifikation,Systementwicklung
11. Methodik der Programmierung in Pascal
پدیدآورنده : von Rudolf Marty.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.
رده :
QA76
.
73
.
P2
V667
1983
12. 5. Österreichische Artificial-Intelligence-Tagung :
پدیدآورنده : edited by Johannes Retti, Karl Leidlmair.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Translators (Computer programs)
13. Termersetzungssysteme :
پدیدآورنده : von Klaus Drosten.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.,Software engineering.
رده :
QA76
.
76
.
R48
V665
1989
14. Theorie der logischen Programmierung Eine elementare Einführung
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer science.,Logische Programmierung
15. Turbo Pascal für Ingenieure
پدیدآورنده : von Ekbert Hering, Joachim Rasch.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.
